Fixed bug in HTML differ. A bad index was used when everything is removed from a...
authorGuy Van den Broeck <guyvdb@users.mediawiki.org>
Mon, 27 Oct 2008 10:15:24 +0000 (10:15 +0000)
committerGuy Van den Broeck <guyvdb@users.mediawiki.org>
Mon, 27 Oct 2008 10:15:24 +0000 (10:15 +0000)
commit0a1d40df5fe967f803ad9273c34de1e2670b32e5
tree4f78eec97ece7da9eadb631988ef196d4007ea70
parenta0c5e55f19a3c19b4a545b80d3b1a0f2960eb192
Fixed bug in HTML differ. A bad index was used when everything is removed from a page.
includes/diff/HTMLDiff.php